continuous lattice造句
例句与造句
- a categorical characterization on z-continuous lattices
连续格的一个范畴刻划 - characterizations of continuous lattices by directed minimal subsets
连续格的极小集刻画 - direct sums and sublattices of generalized-continuous lattices
广义连续格的子格与直接和 - structure of generalized-continuous lattices
广义连续格的结构 - function space of z-continuous lattices
连续格的函数空间 - It's difficult to find continuous lattice in a sentence. 用continuous lattice造句挺难的
- z-generalized continuous lattices
广义连续格 - based on upper ( lower ) homomorphisms, we introduce and investigate upper ( lower ) sublattices as well as direct sums of generalized-continuous lattices . the motive is to use them instead of traditional congruence lattices as a new tool of structure problems
基于上、下同态，引进和研究广义连续格的上、下子格以及直接和诸概念，其目的是用它们取代传统的同余格作为研究结构问题的新工具。 - abstract : we introduce and investigate lower homomorphisms and upper homomorphisms of generalized-continuous lattices . a necessary and sufficient condition for a mapping between compact elements of generalized-algebraic lattices to be extended to a lower homomorphism is established
文摘:引进和研究了广义连续格的下同态和上同态,建立了广义代数格紧元素之间的映射扩充为下同态的充要条件。 - six distinguished computer experts including scott defined the weight of continuous lattices in the first reference and proved that the three kind of weights ? ei g ht of continuous lattices, weight of the related scott topological space and weight of the related lawson topological space, are consistent
证明了几类分配的domain范畴即sdscs、sdccs、sdacs是slp的闭的满子范畴，指出在slp的满子范畴中指数对象同构于稳定映射所成的函数空间。 - six distinguished computer experts including scott defined the weight of continuous lattices in the first reference and proved that the three kind of weights ? ei g ht of continuous lattices, weight of the related scott topological space and weight of the related lawson topological space, are consistent
证明了几类分配的domain范畴即sdscs、sdccs、sdacs是slp的闭的满子范畴，指出在slp的满子范畴中指数对象同构于稳定映射所成的函数空间。